Market Research Applications on LEO
نویسندگان
چکیده
منابع مشابه
Overview on Leo-ii Leo-ii and Tptp
LEO-II is a standalone, resolution-based higher-order theorem prover that is designed for fruitful cooperation with specialist provers for first-order and propositional logic. The idea is to combine the strengths of the different systems. On the other hand, LEO-II itself, as an external reasoner, wants to support interactive proof assistants such as Isabelle/HOL, HOL, and OMEGA by efficiently a...
متن کاملOrbital Perturbation Effect on LEO Satellite Trajectory
A satellite, in its orbit, is affected by perturbing forces, such as atmospheric drag, solar radiation pressure, Earth oblateness, and gravity of the celestial masses (other than the Earth). In this paper, the effects of these forces on the trajectories of different types of LEO satellites and a sample satellite (Z-SAT) are discussed. A few analyses are done on these orbits and the relevant res...
متن کاملDesigning an S Band Receiver for LEO Applications
In this paper we describe a generic receiver as a single channel S-band receiver and it is composed of two modules. The first module (down converter) consists of an input band pass filter, LNA, image rejection filter and down-converter with a PLL local oscillator. The second module consists of the IF module derived from the VHF receiver. The IF module consists of a low pass filter, 20MHz band p...
متن کاملLeo: A Profile-Driven Dynamic Optimization Framework for GPU Applications
Parallel architectures like GPUs are a tantalizing compute fabric for performance-hungry developers. While GPUs enable order-of-magnitude performance increases in many data-parallel application domains, writing efficient codes that can actually manifest those increases is a non-trivial endeavor, typically requiring developers to exercise specialized architectural features exposed directly in th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1960
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/3.3.142